Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations
نویسندگان
چکیده
In the context of the cognitive study of diagrammatic representations for deductive reasoning, the availability of syntactic manipulation of diagrams has played a key role in accounting for their efficacy. Currently, however, little has been known about the interface between such syntactic or proof-theoretical aspects and the corresponding semantic or informational aspects of diagram use. The present paper investigates the cognitive processes of interpreting diagrammatic representations underlying deductive reasoning, combining the insights from both logical and cognitive studies of diagrams. A semantical analysis of two different ways of formalizing logic diagrams is provided. Based on it, a multiple stage model of cognitive processes of extracting information from logic diagrams is proposed, and evidence was found to support this model. A consequence for the way the abstract syntax and semantic of diagrammatic representations are constrained is also explored.
منابع مشابه
The Importance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative Case
Learning by producing diagrams p. 12 Eye fixations and diagrammatic reasoning p. 13 Cross-cultural user-experience design p. 16 Communicative signals as the key to automated understanding of simple bar charts p. 25 On line elaboration of a mental model during the understanding of an animation p. 40 From diagrams to models by analogical transfer p. 55 The mathematics of boundaries : a beginning ...
متن کاملWhat Makes a Bunch of Marks a Diagrammatic Representation, and Another Bunch a Sentential Representation?
While much has been written on the difference between diagrammatic and sentential representations (sometimes also called propositional or symbolic representations), the explanations don’t address the fact that, when viewed as marks on paper, interpreting the marks in both cases involves use of visual perception that takes account of the spatial arrangement of marks. This paper takes account of ...
متن کاملFlowcharting the Meaning of Logic Formulas
In logic, representation of a domain (e.g., physical reality) comprises the things its expressions (formulas) refer to and their relationships. Recent research has examined the realm of nonsymbolic representations, especially diagrams. It is claimed that, in general, diagrams have advantages over linguistic descriptions. Current diagrammatic representations of logic formulas do not completely d...
متن کاملConstructing internal diagrammatic proofs from external logic diagrams
Internal syntactic operations on diagrams play a key role in accounting for efficacy of diagram use in reasoning. However, it is often held that in the case of complex deductive reasoning, diagrams can serve merely as an auxiliary source of information in interpreting sentences or constructing models. Based on experiments comparing subjects’ performances in syllogism solving where logic diagram...
متن کاملA Diagrammatic Inference System with Euler Circles
Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the 18th century by Euler [1768]. But it is quite recent (more precisely, in the 1990s) that logicians started to study them fr...
متن کامل